@article(
FisherHM,author="Fisher, K. and Honsell, F. and Mitchell, J.C.",
        Title="A lambda calculus of objects and method specialization",
	Journal="Nordic J. Computing ({\rm formerly} BIT)",
	Year="1994",volume="1",pages="3--37",
        Note="Preliminary version appeared in
        {\it Proc. IEEE Symp. on Logic in Computer Science,} 1993, 26--38")

	@inproceedings(
MitchHF93,author="Mitchell, J.C. and Honsell, F. and Fisher, K.", 
	Title="A lambda calculus of objects and method specialization",
	Booktitle="Proc. IEEE Symp. on Logic in Computer Science",
	Year="1993",
	pages="26--38")